Milord II: Language Description
نویسندگان
چکیده
In this paper we describe the language Milord II. The description is made in terms of computer language concepts and not in terms of the logical semantics underlying it. In this sense the paper complements others in which the focus of the description has been either the object level multi-valued language description, or the reflective component of the architecture, or even the several applications built using it. All the necessary elements to understand how a system programmed in Milord II executes have room in this full description: types, facts, rules, modules, local logics, control strategies, ... Although the description is guided by the Milord II language syntax, this is by no means a user’s manual, which would deserve a much longer document, but a language summary description that places all the components of the language in their correct place.
منابع مشابه
Handling Fuzzy Information in Milord
Milord II is a modular language for knowledge-based systems. In this paper we concentrate on the parts of the language and the theoretical foundations related to approximate reasoning: the use of local many-valued logics based on linguistic terms, which are the language constructs related to fuzzy sets, and nally the language deductive mechanism.
متن کاملAn Application to a Reflective Architecture: Milord-ii*†
Halpern and Moses [Halpern & Moses, 84] define and characterize what a minimal epistemic state associated to a set of premises is, using the notions of stable set and S5Kripke models. Based on such epistemic states, Halpern and Moses define an entailment relation with which one can infer what is known and, more importantly, what is unknown by an agent. In this paper we formulate an extension of...
متن کاملRenoir, Pneumon-IA and Terap-IA: three medical applications based on fuzzy logic
The research at the IIIA has produced over more than a decade two versions of a tool for developing knowledge-based systems: Milord and Milord II. This tool has been mainly used for the development of medical applications. In this paper we summarize the Milord II approximate reasoning approach based on fuzzy sets, and three medical applications: rheumatology diagnosis (Renoir), pneumonia diagno...
متن کاملControl Techniques for Complex Reasoning: The Case of MILORD II
In this paper we survey MILORD II, a KBS design tool. We concentrate on its object level and meta-level languages, with special emphasis on the control techniques and the comunication between both languages. The control, declarative in nature, is based on reflection techniques over a meta-language equipped with a declarative backtracking mechanism. Reflection and subsumption techniques are used...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997